

#include "syscall.h"
int a;
OpenFileId fid ;
int
main()
{
    char* buf = {"this is a nachos file.    "};
    //Create("test");
    /* not reached */
    //a = Open("test");
   
    Write(buf,21,1);
}
